#ifndef __EKF_MM_I_H__
#define __EKF_MM_I_H__

int mm_init(void);

void *valloc(uint32_t size);
void  vfree(void *ptr);

void *mmio_alloc(uint32_t size, physaddr_t start);
void  mmio_free(void *ptr);

void *alloc(uint32_t size);
void  free(void *ptr);

void *balloc(uint32_t size);
void  bfree(void *ptr);

void *palloc(uint32_t size, int dma);
void  pfree(void *ptr);

#endif
